
import sketch.ounit.Observer;
import sketch.ounit.Values;
import sketch.specs.annotation.TestSketch;
import junit.framework.TestCase;

public class TransformationExample extends TestCase {
	@TestSketch
	public void testSimpleTransform() {
		treemap.TreeMap map = new treemap.TreeMap();
		map.put(4);
		map.put(5);
		int i = Values.choose(1, 2, 3);
		{/*@ChooseOne*/
			map.put(i);
			map.remove(i);
		}
		Observer.observeExpr(map);
		Observer.observeExpr(map.toString());
		treemap.TreeMap map2 = null;
		Observer.observeExpr(map2);
		Observer.observeEquality(map, map);
		Observer.observeEquality(map, map2);
	}
}
